Arithmetic functions - PDFSEARCH.IO - Document Search Engine

Arithmetic functions
Results: 235

#	Item
61	Certified Computation of Planar Morse-Smale Complexes of Smooth Functions (extended abstract) Amit Chattopadhyay1 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-02-17 15:40:05 Calculus Morse theory Dynamical systems Morse–Smale system Separatrix Manifold Interval arithmetic Gradient-like vector field Hessian matrix Mathematical analysis Mathematics Differential topology
62	Melbourne — 176 Johnston St, Fitzroy VIC 3065 +[removed] — Tel [removed] Sydney — Add to Reading List Source URL: madebytait.com.au Language: English - Date: 2014-12-11 20:44:15 Ceiling Floor and ceiling functions Mathematical notation Arithmetic Bracket
63	Foundations of Exact Rounding Chee K. Yap and Jihun Yu Department of Computer Science Courant Institute of Mathematical Sciences New York University 251 Mercer Street Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2008-12-04 23:51:46 Computer arithmetic Arithmetic Functions and mappings Data types Rounding Function Floating point Group action Exponentiation Mathematics Abstract algebra Binary operations
64	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:44 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming
65	Computational Interpretations of Analysis via Products of Selection Functions Mart´ın Escard´o1 and Paulo Oliva2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-29 11:53:24 Mathematics Constructible universe Symbol Ε₀ Ordinal arithmetic Mathematical logic Proof theory Ordinal numbers
66	Computer Graphics, 26,2, July[removed]Interval Arithmetic and Recursive Subdivision for Implicit Functions and Constructive Solid Geometry Tom Duff+ AT& T Bell Luboru!orie.s Add to Reading List Source URL: fab.cba.mit.edu Language: English - Date: 2012-04-27 04:55:37 Mathematical analysis Constructive solid geometry Solid modeling Collision detection Interval arithmetic Ray tracing Hidden surface determination Rendering Binary space partitioning 3D computer graphics Mathematics Computer graphics
67	Mathematical Case Studies: the Complex Numbers∗ Rob Arthan [removed] 5 August 2012 Abstract Definitions of the complex numbers and their arithmetic operators in ProofPowerHOL with proofs of some of their elemen Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2012-08-05 11:01:31 Exponential function Exponentials Complex number Function Differential equation Complex normal distribution Z-transform Mathematics Mathematical analysis Functions and mappings
68	International Mathematical Olympiad 1992 Hong Kong Preliminary Selection Contest 6th July 1991 Time allowed: 3 hours Add to Reading List Source URL: www.mathdb.org Language: English - Date: 2004-01-04 14:01:29 Elementary arithmetic Elementary number theory Integer Ring theory Prime number Number Floor and ceiling functions Pi Cube Mathematics Integer sequences Number theory
69	PII: [removed]90002-Y Add to Reading List Source URL: fab.cba.mit.edu Language: English - Date: 2012-04-27 04:55:37 Multivariable calculus Arithmetic Computer arithmetic Interval arithmetic Mathematical optimization Implicit and explicit functions False position method Affine arithmetic Piecewise linear continuation Mathematical analysis Mathematics Numerical analysis
70 $Floating point / Function / Methods of computing square roots / Exponentiation / Polynomial / Continued fraction / C++ classes / Bc programming language / Floor and ceiling functions / Mathematics / Computer arithmetic / Arbitrary-precision arithmetic$	Keith Briggs BT, Martlesham Heath, IP5 3RE, UK Implementing exact real arithmetic in python, C++ and C Add to Reading List Source URL: keithbriggs.info Language: English - Date: 2008-12-10 08:17:09 Floating point Function Methods of computing square roots Exponentiation Polynomial Continued fraction C++ classes Bc programming language Floor and ceiling functions Mathematics Computer arithmetic Arbitrary-precision arithmetic

UPDATE